C:/rep/evotdl/ciginfo/ciginfo.dvi

Source URL: www.csse.uwa.edu.au

• Applied mathematics
• Cybernetics
• Evolution
• Machine learning
• Cognitive science
• Theoretical computer science
• Belief revision
• Reinforcement learning
• Perceptron
• Artificial neural network
• Evolutionary computation
• TDL

Modernizing Plan-Composition Studies Kathi Fisler Shriram Krishnamurthi Janet Siegmund

Source URL: www.infosun.fim.uni-passau.de

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Recursion
• Theoretical computer science
• Computability theory
• Functional programming
• Tree traversal
• Go
• Problem solving
• Procedural programming

ON TEMPORAL PLANNING AND REASONING WITH POINT-INTERVAL LOGIC by Syed Muhammad Mashhood Ishaque A Thesis Submitted to the Graduate Faculty of

Source URL: www.eecs.tufts.edu

• Algorithm
• Mathematical logic
• Theoretical computer science
• Graph of a function
• Mathematics
• Academia
• Abstraction

Theoretical Computer Science–16 www.elsevier.com/locate/tcs A new lower bound for the list update problem in the partial cost model

Source URL: www.maths.lse.ac.uk

• Online algorithms
• Analysis of algorithms
• List update problem
• Competitive analysis
• Adversary model
• Algorithm
• K-server problem

Noname manuscript No. (will be inserted by the editor) Some issues related to double rounding Érik Martin-Dorel · Guillaume Melquiond · Jean-Michel Muller

Source URL: www.lri.fr

• Computer arithmetic
• Mathematics
• Theoretical computer science
• Computing
• Rounding
• IEEE floating point
• Double-precision floating-point format
• Normal number
• Arithmetic underflow
• Division algorithm
• Q
• Denormal number

Proceedings of the Society of PoC k GTFO Issue 0x01, an Epistle to the 10th H2HC in São Paulo From the writing desk, not the raven, of Rt. Revd. Preacherman Pastor Manul Laphroaig pastor@phrack org October 6, 2013 Legal

Source URL: greatscottgadgets.com

• Turing machine
• Computing
• Theoretical computer science
• Models of computation
• Theory of computation
• Computability theory
• Alan Turing
• Typewriter
• Computer
• Word processor

Planning ”Fireworks” Trajectories for Steerable Medical Needles to Reduce Patient Trauma Jijie Xu1 , Vincent Duindam2 , Ron Alterovitz3 , Jean Pouliot4 , J. Adam M. Cunha4 , I-Chow Joe Hsu4 and Ken Goldberg2 Abstract

Source URL: goldberg.berkeley.edu

• Search algorithms
• Robot navigation
• Motion planning
• Theoretical computer science
• Rapidly-exploring random tree
• Needle
• Linear programming
• Nearest neighbor search

Homework II, Topics in Theoretical Computer Science 2016 Due on Monday April 11 at 9:00 (send an email to ). Solutions to many homework problems, including problems on this set, are available on the I

Source URL: theory.epfl.ch

Efficient Verification of Process-Local Properties with Projections Short Talk Session POPL ’13 Habib Saissi, Péter Bokor, Neeraj Suri Technische Universität Darmstadt, Germany

Source URL: www1.deeds.informatik.tu-darmstadt.de

PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Big-Oh Notation Activity Guidelines

Source URL: cahsi.cs.utep.edu

• Computational complexity theory
• Theory of computation
• Mathematics
• Data types
• Primitive types
• Theoretical computer science
• Analysis of algorithms
• Algorithm
• Boolean data type
• NP
• Time complexity
• String